#include<stdio.h>

int main()
{
    int b, n;    scanf("%d%d", &b, &n);
    int min, max;
    min = max = 0;
    while (n--)
    {
        if (!n)    printf("min : %d\n", max + 1);
        max += b;
        b *= 1.1;
    }
    printf("max : %d\n", max);
    return 0;
}